461. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
462. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
463. Fortran 2018 with parallel programming /
Author: Subrata Ray
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)
Classification :
QA76
.
73
.
F25
R39
2020eb
464. Foundation Mathematics for Computer Science
Author: / John Vince
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
465. Foundations of algebraic specification and formal software development
Author: / D. (Donald) Sannella
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Computer science--Mathematics.,Software engineering.,Computer software--Development.
Classification :
QA76
.
9
.
M35
S26
2012
466. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
467. Foundations of statistics for data scientists
Author: Alan Agresti and Maria Kateri.,Agresti, Alan,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematical analysis,Quantitative research,R (Computer program language),Python (Computer program language),Statistical methods.,Statistical methods.
Classification :
QA276
.
4
468. Fourier transforms : an introduction for engineers
Author: Gray, Robert M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Signal processing-- Mathematics,، Fourier transformations
Classification :
TK
5102
.
9
.
G73
1995
469. Fracture of Engineering Materials and Structures
Author: edited by S.H. Teoh, K.H. Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Surfaces (Physics)
Classification :
TA404
.
6
E358
1991
470. From Astrophysics to Unconventional Computation :
Author: editors, Andrew Adamatzky and Vivien Kendon.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence.,Soft computing.,Computational intelligence.,COMPUTERS / General.,Soft computing.
Classification :
QA76
.
9
.
S63
471. From Contamination to Defects, Faults and Yield Loss
Author: by Jitendra B. Khare, Wojciech Maly.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
472. From newspeak to cyberspeak
Author: / Slava Gerovitch
Library: Library of Faculty of World Studies University of Tehran (Tehran)
Subject: Cybernetics ــ History.
Classification :
Q
305
.
G47
2002
473. Fully homomorphic encryption in real world applications /
Author: Ayantika Chatterjee, Khin Mi Mi Aung.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Homomorphisms (Mathematics),Cryptography-- Mathematics.,Homomorphisms (Mathematics),SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
Classification :
QA268
474. Functional Networks with Applications
Author: by Enrique Castillo, Angel Cobo, José Manuel Gutiérrez, Rosa Eva Pruneda.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer-aided design.,Data structures (Computer science).,Physics.
475. Functional and shape data analysis /
Author: Anuj Srivastava, Eric P. Klassen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional analysis.
Classification :
QA320
476. Functional fractional calculus
Author: Shantanu Das
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fractional calculus
Classification :
QA314
.
D37
2011
477. Fundamentals and Standards in Hardware Description Languages
Author: edited by Jean P. Mermet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Engineering.
478. Fundamentals of Scientific Computing
Author: / Bertil Gustafsson
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer simulation,Computer science -- Mathematic,Science -- Methodology,Science -- Data processing,شبیهسازی کامپیوتری,علوم کامپیوتر -- ریاضیات,علوم -- روش شناسی,علوم -- دادهپردازی
Classification :
QA76
,.
9
.
C65
,
G8
2011
479. Fundamentals of engineering numerical analysis /
Author: Parviz Moin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering mathematics,Numerical analysis
Classification :
TA335
.
M65
2010
480. Fundamentals of image data mining :
Author: Dengsheng Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Multimedia data mining.,Multimedia data mining.
Classification :
QA76
.
9
.
D343
Z43
2019
